1. <A> Computational Logic
Author: \ Robert S. Boyer and J Strother Moore
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving.
Classification :
E-Book
,
2. A computational logic
Author: Boyer, Robert S., Robert S. Boyer and J Strother Moore
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96
B68
3. A computational logic
Author: / Robert S. Boyer and J. Strother Moore
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving
Classification :
QA
,
76
.
9
,.
A96
,
B68
